Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
371	7 Documenta Math. Stories about the Old Masters of Optimization Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2012-07-25 10:24:22 Philosophy Theoretical computer science Mathematical optimization Mathematics Operations research Algorithm Combinatorial optimization Calculus Program optimization Gottfried Wilhelm Leibniz Graph theory Trajectory optimization
372	Noname manuscript No. (will be inserted by the editor) A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds · Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-03-02 06:43:58 Mathematical logic Logic Theoretical computer science Type theory Automated theorem proving Logic programming Data types Unification Recursive data type Substitution Corecursion First-order logic
373	Imperial College London Activity Report Nobuko Yoshida Imperial College London http://mrg.doc.ic.ac.uk Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2014-01-12 10:00:03 European Association for Theoretical Computer Science Theoretical computer science Honda P series Engineering and Physical Sciences Research Council Science and technology Computer science Science
374	Ergodic dynamics and thermalization in an isolated quantum system C. Neill1 ,∗ P. Roushan2 ,∗ M. Fang1 ,∗ Y. Chen2 ,∗ M. Kolodrubetz3 , Z. Chen1 , A. Megrant2 , R. Barends2 , B. Campbell1 , B. Chiaro1 , A. Dunswo Add to Reading List Source URL: web.physics.ucsb.edu Language: English - Date: 2016-01-06 18:21:20 Quantum information science Quantum mechanics Theoretical computer science Physics Qubit Quantum entanglement Quantum discord Quantum computing Trapped ion quantum computer
375	Web Service Composition using Service Suggestions Rui Wang1, Chaitanya Guttula1, Maryam Panahiazar3, Haseeb Yousaf1, John A. Miller1,3, Eileen T. Kraemer1,3 and Jessica C. Kissinger1-4 1 Department of Computer Science Add to Reading List Source URL: cobweb.cs.uga.edu Language: English - Date: 2011-02-16 11:54:03 Web services Semantic Web Algorithm Mathematical logic Theoretical computer science Semantic Web service Graph theory Computing Philosophy of mathematics Knowledge
376	Randomized Algorithms An Introduction through Unique Sink Orientations Lecture Notes Bernd G¨artner, ETH Z¨urich February 13, 2004 Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2016-06-20 11:55:28 Analysis of algorithms Computer science Mathematics Theoretical computer science Applied mathematics Online algorithms Probabilistic complexity theory Randomized algorithms Adversary model Algorithm Pseudorandomness Unique sink orientation
377	Verifying Cross-Cutting Features as Open Systems Harry Li† Shriram Krishnamurthi Kathi Fisler Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-30 10:29:52 Mathematical logic Theoretical computer science Formal methods Logic Logic in computer science Hardware verification languages Model checking Formal verification E Gmail Aspect-oriented software development Propositional calculus
378	Computing Fundamentals Advanced functions & Recursion Salvatore Filippone–2015 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2015-05-28 11:41:55 Software engineering Computer programming Recursion Computability theory Theory of computation Subroutines Theoretical computer science Infinite loop This Anonymous function Stack Mutual recursion
379	Leveraging SMT: Using SMT Solvers to Improve Verification; Using Verification to Improve SMT Solvers Clark Barrett Christopher L. Conway Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 16:21:50 Theoretical computer science Formal methods Logic in computer science Constraint programming Electronic design automation NP-complete problems Satisfiability modulo theories Solver SMT Uninterpreted function Model checking Alt-Ergo
380	Design & Implementation of Well-Method for Embedded Generation of LPR Numbers Venkateshwarlu Purumala M.Tech, VLSI & Embedded Systems DVR College of Engineering and Technology, Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2016-08-04 01:33:51 Pseudorandom number generators Cryptography Theoretical computer science Applied mathematics Random number generation Mersenne Twister Pseudorandomness Algorithm Data Encryption Standard Linear-feedback shift register Reconfigurable computing TestU01

UPDATE